FRIEDMAN-WEIERMANN STYLE INDEPENDENCE RESULTS BEYOND PEANO ARITHMETIC
نویسندگان
چکیده
منابع مشابه
Friedman-weiermann Style Independence Results beyond Peano Arithmetic
We expose a pattern for establishing Friedman-Weiermann style independence results according to which there are thresholds of provability of some parameterized variants of well-partial-ordering. For this purpose, we investigate an ordinal notation system for θΩω , the small Veblen ordinal, which is the proof-theoretic ordinal of the theory (Π2-BI)0. We also show that it sometimes suffices to pr...
متن کاملPeano Arithmetic
The project is designed for an upper level undergraduate course in mathematical logic. Although the project is relatively short, some of the exercises are not as easy as they appear. Instructors may wish to spend some class time on discussing how formal proofs should be conducted, and also provide some additional assistance with completing some of the exercises. The last part of the project ass...
متن کاملBeyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence
Kirby and Paris (1982) proved in a celebrated paper that a theorem of Goodstein (1944) cannot be established in Peano (1889) arithmetic. We present an encoding of Goodstein’s theorem as a termination problem of a finite rewrite system. Using a novel implementation of ordinal interpretations, we are able to automatically prove termination of this system, resulting in the first automatic terminat...
متن کاملInterpretability over Peano Arithmetic
We investigate the modal logic of interpretability over Peano arith metic PA Our main result is an extension of the arithmetical complete ness theorem for the interpretability logic ILM This extension concerns recursively enumerable sets of formulas of interpretability logic rather than single formulas As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability...
متن کامل1 NEW BOREL INDEPENDENCE RESULTS by Harvey M . Friedman
S. Adams, W. Ambrose, A. Andretta, H. Becker, R. Camerlo, C. Champetier, J.P.R. Christensen, D.E. Cohen, A. Connes. C. Dellacherie, R. Dougherty, R.H. Farrell, F. Feldman, A. Furman, D. Gaboriau, S. Gao, V. Ya. Golodets, P. Hahn, P. de la Harpe, G. Hjorth, S. Jackson, S. Kahane, A.S. Kechris, A. Louveau,, R. Lyons, P.-A. Meyer, C.C. Moore, M.G. Nadkarni, C. Nebbia, A.L.T. Patterson, U. Krengel,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korean Mathematical Society
سال: 2014
ISSN: 0304-9914
DOI: 10.4134/jkms.2014.51.2.383